Note that this requirement can be rephrased by saying that binary meets order dual
2.
The order dual of a partially ordered set is the same set with the partial order relation replaced by its inverse.
3.
In particular, the order dual of a partial order can be interpreted in this way as the transposition of a transitively closed directed acyclic graph.
4.
The P5 Pentium competitors included the Motorola 68060 and the Alpha microprocessor families, most of which also used a superscalar in-order dual instruction pipeline configuration at some time.
5.
The implications of the two definitions of Galois connections are very similar, since an antitone Galois connection between and is just a monotone Galois connection between and the order dual of.
मोबाइल